-
1 abstract theorem
Большой англо-русский и русско-английский словарь > abstract theorem
-
2 abstract theorem
1) Математика: абстрактная теорема2) Патенты: теоретическое положение -
3 abstract theorem
-
4 abstract theorem
мат. -
5 abstract theorem
Англо-русский словарь по исследованиям и ноу-хау > abstract theorem
-
6 theorem
-
7 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
8 theorem
nounтеорема fkey renewal theorem основная/узловая теорема восстановленияSlutsky sinusoidal limit theorem предельная синусоидальная теорема СлуцкогоАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > theorem
-
9 abstract doctrine / theorem
(mat) teoremăEnglish-Romanian technical dictionary > abstract doctrine / theorem
-
10 теоретическое положение
Русско-английский словарь по патентам и товарным знакам > теоретическое положение
-
11 абстрактная теорема
abstract theorem мат.Русско-английский научно-технический словарь Масловского > абстрактная теорема
-
12 абстрактная теорема
Большой англо-русский и русско-английский словарь > абстрактная теорема
-
13 абстрактная теорема
Mathematics: abstract theoremУниверсальный русско-английский словарь > абстрактная теорема
-
14 теоретическое положение
2) Patents: abstract theoremУниверсальный русско-английский словарь > теоретическое положение
-
15 abstracto
• abstract• conceptual• excerpt• intangible• theorem proving• theoretical depreciation -
16 ergodic
adjэргодическийАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > ergodic
-
17 algebra
алгебра
– abstract algebra
– algebra of sets
– algebraic algebra
– annihilator algebra
– associative algebra
– Banach algebra
– Boolean algebra
– Cartan algebra
– central algebra
– circuit algebra
– closure algebra
– commutative algebra
– constraint algebra
– convolution algebra
– current algebra
– derivation algebra
– differential algebra
– division algebra
– elementary algebra
– enveloping algebra
– exterior algebra
– field-like algebra
– free Lie algebra
– higher algebra
– homological algebra
– Lie algebra
– linear algebra
– matrix algebra
– measure algebra
– propositional algebra
– quaternion algebra
– quotient algebra
– relational algebra
– segregated algebra
– simple algebra
– spinor algebra
– switching algebra
– universal algebra
algebra of finite order — <math.> алгебра конечного ранга
generalized uniserial algebra — обобщенно однорядная алгебра
-
18 формулировка
formula, statement, formulation(= переформулировать)... - It will be useful to have a reformulation of...• Иногда оказывается полезной следующая альтернативная формулировка. - The following alternative formulation is sometimes useful.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы начнем с формулировки одной леммы - We begin with a lemma.• Наиболее точной формулировкой этих свойств является следующая. - The most concise statement of these properties is as follows.• Одна эквивалентная формулировка может быть сделана в терминах (чего-л). - An equivalent formulation may be given in terms of. '..• Относительно точной формулировки всех гипотез и заключений мы отсылаем к статье [3]. - For a precise wording of all hypotheses and conclusions we refer to the paper [3].• Формулировка теоремы требует модификации, если... - The statement of the theorem needs modification if...• Целью более абстрактной формулировки (6) является то, что... - The aim of the more abstract formulation (6 is to... -
19 reasoning
1) [логическое] рассуждение, умозаключение; [логический] выводсм. тж. abstract reasoning, automated reasoning, case-based reasoning, commonsense reasoning, deductive reasoning, logical reasoning, probabilistic reasoning, reasoning system, theorem proving2) мышлениеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > reasoning
-
20 process
1) процесс2) процедура3) технологический процесс || технологический4) приём, способ5) обрабатывать; перерабатывать•process with independent increments — процесс с независимыми приращениями, аддитивный процесс
process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс
process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс
- absorbing barrier process - basic oxygen process - direct reduction process - discrete process - discrete-time process - linearly singular process - locally integrable process - locally stable process - multistep process - multivariate process - N-dimensional process - partially mixing process - process of hidden periodicities - steady stochastic process - temporally homogeneous process - weakly ergodic process - weakly stationary processprocess with stationary increments — процесс со стационарными приращениями, однородный во времени процесс
- 1
- 2
См. также в других словарях:
Abstract analytic number theory — is a branch of mathematics which takes the ideas and techniques of classical analytic number theory and applies them to a variety of different mathematical fields. The classical prime number theorem serves as a prototypical example, and the… … Wikipedia
Abstract nonsense — Abstract nonsense, or general abstract nonsense, alternatively general nonsense, is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory or applications.HistoryThe term predates the… … Wikipedia
Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area … Wikipedia
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Abstract algebraic logic — In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.OverviewThe archetypal association of this … Wikipedia
Abstract Wiener space — An abstract Wiener space is a mathematical object in measure theory, used to construct a decent (strictly positive and locally finite) measure on an infinite dimensional vector space. It is named after the American mathematician Norbert Wiener.… … Wikipedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Abstract simplicial complex — In mathematics, an abstract simplicial complex is a purely combinatorial description of the geometric notion of a simplicial complex, consisting of a family of finite sets closed under the operation of taking subsets. In the context of matroids… … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Abstract index group — In operator theory, every Banach algebra can be associated with a group called its abstract index group. Definition Let A be a Banach algebra and G the group of invertible elements in A . The set G is open and a topological group. Consider the… … Wikipedia